/**
 * 
 */
package Verifier;

import Verifier.ArithmeticSystem.ArithmeticConvertorFieldTester;
import Verifier.ArithmeticSystem.ArithmeticConvertorGroupTester;
import Verifier.ArithmeticSystem.ArithmeticConvertorIntBoolTester;
import Verifier.ArithmeticSystem.FieldTester;
import Verifier.ByteTree.ByteTreeTester;
import Verifier.Cryptography.CryptographyTester;
import Verifier.xmlParser.XmlParserTester;

/**
 * @author Moshe Baavur
 *
 */
public class AllAroundTester {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		// 1. run the byte tree tests
		System.out.println("===== Byte Tree Tests =====");
		ByteTreeTester.main(null);
		System.out.println();
		// 2. run the arithmetic tests
		System.out.println("===== Arithmetic System Tests =====");
		ArithmeticConvertorIntBoolTester.main(null);
		ArithmeticConvertorFieldTester.main(null);
		ArithmeticConvertorGroupTester.main(null);
		try {
			FieldTester.main(null);
		} catch (Exception e) {
			System.out.println(e.getMessage());
		}
		System.out.println();
		// 3. run cryptography system tests
		System.out.println("===== Cryptography System Tests =====");
		try {
			CryptographyTester.main(null);
		} catch (Exception e) {
			System.out.println(e.getMessage());
		}
		System.out.println();
		// 4. run xml parser tests
		System.out.println("===== Xml Parser Tests =====");
		try {
			XmlParserTester.main(null);
		} catch (Exception e) {
			System.out.println(e.getMessage());
		}
		System.out.println();
	}

}
